منابع مشابه
Investigating the behaviour of PREMO synchronizable objects
PREMO stands for Presentation Environment for Multimedia Objects and is a major new standard under development within ISO/IEC. It addresses the creation of, presentation of and interaction with all forms of information using single or multiple media. The PREMO standard (u.d.) is currently described using english with an additional formal speciication in Object-Z. Such a state based speciication...
متن کاملBehaviour Speci cation of Active Objects in
Coordination models based on generative communication are well established for modelling interactions between agents in open systems. Because such models focus on shared data spaces and not on the active agents operating on them, they lack adequate modelling power for specifying agent behaviour. Our work is based on the Objective Linda coordination model 7] which exploits generative communicati...
متن کاملRocking pneumonia
Ever since Chuck Berry coined the term "rocking pneumonia" in his 1956 song "Roll over Beethoven", pneumonia has been mentioned frequently in modern blues and rock songs. We analyzed the lyrics of these songs to examine how various elements of pneumonia have been represented in popular music, specifically the cause of pneumonia, the risk groups, comorbidity (such as the boogie woogie flu), the ...
متن کاملROCKing the JAKs
The endocrine cytokine leptin is mainly secreted by white adipose tissue and plasma leptin levels positively correlate with body fat mass. Via its action on neurons in the hypothalamic arcuate nucleus (ARC), leptin regulates body weight by stimulating energy expenditure and inhibiting food intake. The main signaling pathway of the leptin receptor is the JAK2-STAT3 pathway. A recent publication ...
متن کاملRocking on Pins
itotic spindle positioning involves a con-formational switch in LGN, the mammalian version of the invertebrate Pins protein, duces a spindle rocking that represents the first genetically manipulable model for studying spindle positioning in vertebrates. The switch operates via the opening of LGN, which can normally fold back onto itself. The unfolding is triggered by binding to either membrane-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2018
ISSN: 1742-6588,1742-6596
DOI: 10.1088/1742-6596/1141/1/012091